#include "f2.h"
#include <stdio.h>
void f2(int x)
{
  printf("f2 %d\n", x);
}
